5.68/6.10	unsat
