5.69/6.18	unsat
