5.57/6.75	unsat
