27.97/28.77	unsat
