8.68/8.71	unsat
