7.18/8.02	unsat
