5.68/7.37	unsat
