28.51/28.64	unsat
