15.57/17.75	unsat
