5.68/6.36	unsat
