30.48/30.58	unsat
