17.67/17.78	unsat
