17.36/18.24	unsat
