25.59/29.59	unsat
