27.47/29.40	unsat
