7.19/9.02	unsat
