7.88/8.57	unsat
