29.60/31.52	unsat
