27.97/28.04	unsat
