5.68/5.96	unsat
