29.89/30.83	unsat
