13.67/14.35	unsat
