18.22/18.85	unsat
