6.63/8.89	unsat
