14.58/29.84	unsat
