17.76/18.22	unsat
