27.51/31.87	unsat
