17.24/17.37	unsat
