18.83/18.94	unsat
