13.97/19.35	unsat
