29.32/31.63	unsat
