5.39/8.02	unsat
