16.67/17.75	unsat
