27.93/28.09	unsat
