18.58/21.42	unsat
