712.64/716.15	unsat
