16.15/17.52	unsat
