29.80/31.63	unsat
