73.93/78.94	unsat
