30.89/30.96	unsat
