708.84/713.70	unsat
