17.57/20.19	unsat
