29.31/31.52	unsat
