7.75/7.97	unsat
