29.93/31.68	unsat
