5.69/9.35	unsat
