14.26/18.35	unsat
