5.97/9.71	unsat
