7.57/7.66	unsat
