13.66/13.70	unsat
