5.57/9.75	unsat
