13.76/17.75	unsat
