30.34/30.65	unsat
