7.56/7.66	unsat
