30.02/30.59	unsat
