4.69/6.35	unsat
