18.36/18.41	unsat
