8.57/8.69	unsat
