15.46/17.75	unsat
