5.97/8.02	unsat
