14.98/17.82	unsat
