24.84/30.59	unsat
