13.66/13.80	unsat
