13.46/14.70	unsat
