17.36/20.39	unsat
