7.96/8.02	unsat
