9.56/9.68	unsat
