6.63/9.55	unsat
