28.47/29.87	unsat
