18.57/18.64	unsat
