24.68/27.32	unsat
