6.75/7.93	unsat
