13.76/13.80	unsat
