24.75/27.34	unsat
