24.16/27.37	unsat
