5.68/9.37	unsat
