14.58/18.04	unsat
