27.93/28.21	unsat
