9.18/9.71	unsat
