24.18/27.59	unsat
