5.28/5.87	unsat
