30.80/30.96	unsat
