17.65/19.55	unsat
