30.31/30.61	unsat
