5.28/8.02	unsat
