17.96/19.82	unsat
