24.93/27.01	unsat
