5.97/6.17	unsat
