13.39/14.00	unsat
