30.22/30.59	unsat
