13.35/14.24	unsat
