13.68/14.70	unsat
